<?php
function num(){
    return '1212';
}